搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Applied time series analysis II : proceedings of the Second Applied Time Series Symposium held in Tulsa, Oklahoma, March 3-5, 1980 0 索取号：TN911-53/E902/2 作者：Applied Time Series Symposium (2nd : 1980 : Tulsa、 Okla.)、Findley、 David F.、University of Tulsa.、Institute of Electrical and Electronics Engineers. Tulsa Section.、出版社：New York : Academic Press, 1981.		Programs for digital signal processing 0 索取号：TN911/E807 作者：出版社：New York : IEEE Press, 1979.
	World power trends and U.S. foreign policy for the 1980's 0 索取号：D81/E200615 作者：Cline、 Ray S.、Georgetown University. Center for Strategic and International Studies.、出版社：Boulder, Colo. : Westview Press, 1980.		Hydrogen materials science and chemistry of carbon nanomaterials : [proceedings of the NATO Advanced Research Workshop on Hydrogen Materials Science and Chemistry of Carbon Nanomaterials, Sevastopol, Crimea, Ukraine, 5-11 September 2005] 0 索取号：O613.2-532/E20071/9 作者：NATO Advanced Research Workshop on Hydrogen Materials Science and Chemistry of Carbon Nanomaterials (9th : 2005 : Sevastopol、 Ukraine)、Veziroğlu、 T. Nejat.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht : Springer, c2007.
	Optics of biological particles 0 索取号：Q63-532/E20071/2005 作者：NATO advanced research workshop on fluorescene and other optical properties of biological particles for biological warfare agent senors (2005 : Novosibirsk、 Russia)、Hoekstra、 Alfons.、Maltsev、 Valeri.、Videen、 Gorden.、出版社：Dordrecht : Springer, c2007.		How to win friends & influence people 0 索取号：B849/E20071 作者：Carnegie、 Dale、 1888-1955.、出版社：北京 : 中央编译出版社, 2006.
	How to stop worrying and start living 0 索取号：B848/E20071 作者：Carnegie、 Dale、 1888-1955.、出版社：北京 : Central Compilation & Translation Press, 2006.		Lymphocyte signal transduction 0 索取号：R322.2-53/E20071/3 作者：Lymphocyte Signal Transduction Workshop (3rd : 2005 : Crete、 Greece)、Tsoukas、 Constantine.、出版社：New York : Springer, c2006.
	Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005 0 索取号：TP301-53/E991/20 作者：IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.		Recent progress on some problems in several complex variables and partial differential equations : international conference, partial differential equations and several complex variables, Wuhan University, Wuhan, China, June 9-13, 2004 [and] international conference, complex geometry and related fields, East China Normal University, Shanghai, China, June 2-24, 2004 0 索取号：O174.56-532/E20071 作者：出版社：Providence, R.I. : American Mathematical Society, c2006.
	Microcircuits : the interface between neurons and global brain function 0 索取号：R651-53/E20071/2004 作者：Dahlem Workshop on Microcircuits: the Interface Between Neurons and Global Brain Function (2004 : Berlin、 Germany)、Grillner、 Sten、 1941-、Graybiel、 A. M. (Ann M.)、 1942-、出版社：Cambridge, Mass. : MIT Press in cooperation with Dahlem University Press, c2006.		Where semantics meets pragmatics 0 索取号：H03-532/E20071/1 作者：International Workshop on Current Research in the Semantics-Pragmatics Interface (1st : 2003 : Michigan State University)、Heusinger、 Klaus von.、Turner、 Ken、 1956-、出版社：Amsterdam ; London : Elsevier, 2006.
	The Complex networks of economic interactions : essays in agent-based economics and econophysics 0 索取号：F224/E20065 作者：Workshop on Economics with Heterogeneous Interacting Agents (9th : 2004 : Kyoto University、 Japan)、Namatame、 Akira、 1950-、Kaizouji、 Taisei.、Aruka、 Yuuji、 1949-、出版社：Berlin ; [Great Britain] : Springer, c2006.		Creating the discipline of knowledge management : the latest in university research 0 索取号：G302/E20091 作者：出版社：Amsterdam ; Boston : Elsevier Butterworth-Heinemann, c2005.
	NOSSDAV 2005 : Proceedings of the 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video, June 13-14, 2005, Stevenson, Washington, USA 0 索取号：TP37-532/E20071/15 作者：International Workshop on Network and Operating Systems Support for Digital Audio and Video (15th : 2005 : Stevenson、 WA.)、ACM Special Interest Group on Multimedia.、ACM SIGMOBILE.、Association for Computing Machinery. Special Interest Group on Data Communications.、出版社：New York : ACM Press, c2005.		Directions for the future : issues in English for academic purposes 0 索取号：H319-532/E20091 作者：British Association of Lecturers in English for Academic Purposes. Conference (2001 : University of Strathclyde)、Sheldon、 Leslie Elmer、 1948-、出版社：Bern ; New York : Peter Lang, 2004.

	Applied time series analysis II : proceedings of the Second Applied Time Series Symposium held in Tulsa, Oklahoma, March 3-5, 1980 0 索取号：TN911-53/E902/2 作者：Applied Time Series Symposium (2nd : 1980 : Tulsa、 Okla.)、Findley、 David F.、University of Tulsa.、Institute of Electrical and Electronics Engineers. Tulsa Section.、出版社：New York : Academic Press, 1981.		Programs for digital signal processing 0 索取号：TN911/E807 作者：出版社：New York : IEEE Press, 1979.
	World power trends and U.S. foreign policy for the 1980's 0 索取号：D81/E200615 作者：Cline、 Ray S.、Georgetown University. Center for Strategic and International Studies.、出版社：Boulder, Colo. : Westview Press, 1980.		Hydrogen materials science and chemistry of carbon nanomaterials : [proceedings of the NATO Advanced Research Workshop on Hydrogen Materials Science and Chemistry of Carbon Nanomaterials, Sevastopol, Crimea, Ukraine, 5-11 September 2005] 0 索取号：O613.2-532/E20071/9 作者：NATO Advanced Research Workshop on Hydrogen Materials Science and Chemistry of Carbon Nanomaterials (9th : 2005 : Sevastopol、 Ukraine)、Veziroğlu、 T. Nejat.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht : Springer, c2007.
	Optics of biological particles 0 索取号：Q63-532/E20071/2005 作者：NATO advanced research workshop on fluorescene and other optical properties of biological particles for biological warfare agent senors (2005 : Novosibirsk、 Russia)、Hoekstra、 Alfons.、Maltsev、 Valeri.、Videen、 Gorden.、出版社：Dordrecht : Springer, c2007.		How to win friends & influence people 0 索取号：B849/E20071 作者：Carnegie、 Dale、 1888-1955.、出版社：北京 : 中央编译出版社, 2006.
	How to stop worrying and start living 0 索取号：B848/E20071 作者：Carnegie、 Dale、 1888-1955.、出版社：北京 : Central Compilation & Translation Press, 2006.		Lymphocyte signal transduction 0 索取号：R322.2-53/E20071/3 作者：Lymphocyte Signal Transduction Workshop (3rd : 2005 : Crete、 Greece)、Tsoukas、 Constantine.、出版社：New York : Springer, c2006.
	Proceedings: 20th annual IEEE symposium onlogic in computer science ,LICS 2005, Chicago, Illinois, 26-29 June 2005 0 索取号：TP301-53/E991/20 作者：IEEE Symposium on Logic in Computer Science (20th : 2005 : Turku、 Finland)、IEEE Technical Committee on Mathematical Foundations of Computing.、Academy of Finland、 City of Turku、 Finnish Academy of Sciences and Letters.、Finnish Cultural Foundation、 University of Turku、 Finnair、 Fujitsu-Siemens Computer.、IEEE Technical Committee on Mathematical Foundations of Computing 17th July、2002、出版社：Los Alamitos, Calif. : IEEE Computer Society, c2004.		Recent progress on some problems in several complex variables and partial differential equations : international conference, partial differential equations and several complex variables, Wuhan University, Wuhan, China, June 9-13, 2004 [and] international conference, complex geometry and related fields, East China Normal University, Shanghai, China, June 2-24, 2004 0 索取号：O174.56-532/E20071 作者：出版社：Providence, R.I. : American Mathematical Society, c2006.
	Microcircuits : the interface between neurons and global brain function 0 索取号：R651-53/E20071/2004 作者：Dahlem Workshop on Microcircuits: the Interface Between Neurons and Global Brain Function (2004 : Berlin、 Germany)、Grillner、 Sten、 1941-、Graybiel、 A. M. (Ann M.)、 1942-、出版社：Cambridge, Mass. : MIT Press in cooperation with Dahlem University Press, c2006.		Where semantics meets pragmatics 0 索取号：H03-532/E20071/1 作者：International Workshop on Current Research in the Semantics-Pragmatics Interface (1st : 2003 : Michigan State University)、Heusinger、 Klaus von.、Turner、 Ken、 1956-、出版社：Amsterdam ; London : Elsevier, 2006.
	The Complex networks of economic interactions : essays in agent-based economics and econophysics 0 索取号：F224/E20065 作者：Workshop on Economics with Heterogeneous Interacting Agents (9th : 2004 : Kyoto University、 Japan)、Namatame、 Akira、 1950-、Kaizouji、 Taisei.、Aruka、 Yuuji、 1949-、出版社：Berlin ; [Great Britain] : Springer, c2006.		Creating the discipline of knowledge management : the latest in university research 0 索取号：G302/E20091 作者：出版社：Amsterdam ; Boston : Elsevier Butterworth-Heinemann, c2005.
	NOSSDAV 2005 : Proceedings of the 15th International Workshop on Network and Operating Systems Support for Digital Audio and Video, June 13-14, 2005, Stevenson, Washington, USA 0 索取号：TP37-532/E20071/15 作者：International Workshop on Network and Operating Systems Support for Digital Audio and Video (15th : 2005 : Stevenson、 WA.)、ACM Special Interest Group on Multimedia.、ACM SIGMOBILE.、Association for Computing Machinery. Special Interest Group on Data Communications.、出版社：New York : ACM Press, c2005.		Directions for the future : issues in English for academic purposes 0 索取号：H319-532/E20091 作者：British Association of Lecturers in English for Academic Purposes. Conference (2001 : University of Strathclyde)、Sheldon、 Leslie Elmer、 1948-、出版社：Bern ; New York : Peter Lang, 2004.